Presolving in linear programming
نویسندگان
چکیده
Most modem linear programming solvers analyze the LP problem before submitting it to optimization. Some examples are the solvers WHIZARD (Tomlin and Welch, 1983), OBI (Lustig et al., 1994), OSL (Forrest and Tomlin, 1992), Sciconic (1990) and CPLEX (Bixby, 1994). The purpose of the presolve phase is to reduce the problem size and to discover whether the problem is unbounded or infeasible. In this paper we present a comprehensive survey of presolve methods. Moreover, we discuss the restoration procedure in detail, i.e., the procedure that undoes the presolve. Computational results on the NETLIB problems (Gay, 1985) are reported to illustrate the efficiency of the presolve methods.
منابع مشابه
Presolving Mixed-Integer Linear Programs
We survey the techniques used for presolving Mixed-integer linear programs (MILPs). Presolving is an important component of all modern MILP solvers. It is used for simplifying a given instance, for detecting any obvious problems or errors, and for identifying structures and characteristics that are useful for solving an instance.
متن کاملProgress in presolving for mixed integer programming
Presolving attempts to eliminate redundant information from the problem formulation and simultaneously tries to strengthen the formulation. It can be very effective and is often essential for solving instances. Especially for mixed integer programming problems, fast and effective presolving algorithms are very important. In this paper, we report on three new presolving techniques. The first met...
متن کاملMulti-Pass High-Level Presolving
Presolving is a preprocessing step performed by optimisation solvers to improve performance. However, these solvers cannot easily exploit high-level model structure as available in modelling languages such as MiniZinc or Essence. We present an integrated approach that performs presolving as a separate pass during the compilation from high-level optimisation models to solverlevel programs. The c...
متن کاملPresolving for Semide nite Programs Without Constraint Quali cations
Presolving for linear programming is an essential ingredient in many commercial packages. This step eliminates redundant constraints and identically zero variables, and it identiies possible infeasibility and unboundedness. In semideenite programming, identically zero variables corresponds to lack of a constraint qualiication which can result in both theoretical and numerical diiculties. A nonz...
متن کاملRobust evaluations for duals of non-negative linear programs with box-constrained uncertainties
Non-negative linear programs with box-constrained uncertainties for all input data and box-constrained variables are considered. The knowledge of upper bounds for dual variables is a useful information e.g. for presolving analysis aimed at the determination of redundant primal variables. The upper bounds of the duals are found by solving a set of special continuous knapsack problems, one for ea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Program.
دوره 71 شماره
صفحات -
تاریخ انتشار 1995